proof of commutative property of addition